.autoDetectText{
	font-weight: bold;
}

.autoDetectText2{
	font-weight: bold;
	color: red;
}

#faultString {
    padding-top: 4ex;
}

#faultStringContent {
    font-weight: bold;
    padding-left: 2ex;
}